Axiomatic Method and Category Theory
نویسندگان
چکیده
منابع مشابه
Complete Cuboidal Sets in Axiomatic Domain Theory
We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures.
متن کاملAn Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions
Domain-theoretic categories are axiomatised by means of categorical non-order-theoretic requirements on a cartesian closed category equipped with a commutative monad. An enrichment theorem showing that every axiomatic domain-theoretic category can be endowed with an intensional notion of approximation, the path relation, with respect to which the category Cpo-enriches is proved. Our analysis su...
متن کاملEnriched Stratified systems for the Foundations of Category Theory
Four requirements are suggested for an axiomatic system S to provide the foundations of category theory: (R1) S should allow us to construct the category of all structures of a given kind (without restriction), such as the category of all groups and the category of all categories; (R2) It should also allow us to construct the category of all functors between any two given categories including t...
متن کاملAlternative Axiomatic Characterizations of the Grey Shapley Value
The Shapley value, one of the most common solution concepts of cooperative game theory is defined and axiomatically characterized in different game-theoretic models. Certainly, the Shapley value can be used in interesting sharing cost/reward problems in the Operations Research area such as connection, routing, scheduling, production and inventory situations. In this paper, we focus on the Shapl...
متن کاملStability and Universal Implementability of the Price Mechanism
This paper provides a unified viewpoint on some axioms in social choice theory and a setting for the allocation mechanism with messages in the informational efficiency problem. In particular, our arguments are concerned with the category theoretical axiomatic method in Sonnenschein (1974) and the replica stability axiom in the social choice arguments like Thomson (1988) and Nagahisa (1994). The...
متن کامل